超方体(d,m)的控制数

This paper shows that the (d,m)-dominating number of the m-dimensional hypercube Qm(m≥4)is 2 for any integer d.([m/2] ≤d≤m).     

CYCLES EMBEDDING ON FOLDED HYPERCUBES WITH FAULTY NODES

Let FF_v be the set of faulty nodes in an n-dimensional folded hypercube FQ_n with |FF_v| ≤ n-1 and all faulty vertices are not adjacent to the same vertex. In this paper, we show that if n ≥ 4, then every edge of FQn-FF_v lies on a fault-free cycle of every even length from 6 to 2~n-2|FF_v|.     

On reducibility of n-ary quasigroups

An n-ary operation Q:Σⁿ→Σ is called an n-ary quasigroup of order |Σ| if in the relation x₀=Q(x₁,…,x_n) knowledge of any n elements of x₀,…,x_n uniquely specifies the remaining one. Q is permutably reducible if Q(x₁,…,x_n)=P(R(x_σ(1),…,x_σ(k)),x_σ(k+1),…,x_σ(n)) where P and R are (n-k+1)-ary and k-ary quasigroups, σ is a permutation, and 1<k<n. An m-ary quasigroup S is called a retract of Q if it can be obtained from Q or one of its inverses by fixing n-m>0 arguments. We prove that if the maximum arity of a permutably irreducible retract of an n-ary quasigroup Q belongs to {3,…,n-3}, then Q is permutably reducible.     

Existence of HSOLSSOMs of type

In this paper we investigate the existence of holey self-orthogonal Latin squares with a symmetric orthogonal mate of type 2ⁿu¹ (HSOLSSOM(2ⁿu¹)). For u2, necessary conditions for existence of such an HSOLSSOM are that u must be even and n3u/2+1. Xu Yunqing and Hu Yuwang have shown that these HSOLSSOMs exist whenever either (1) n9 and n3u/2+1 or (2) n263 and n2(u-2). In this paper we show that in (1) the condition n9 can be extended to n30 and that in (2), the condition n263 can be improved to n4, except possibly for 19 pairs (n,u), the largest of which is (53,28).     

Latin squares with no small odd plexes

A k‐plex in a Latin square of order n is a selection of kn entries in which each row, column, and symbol is represented precisely k times. A transversal of a Latin square corresponds to the case k = 1. We show that for all even n > 2 there exists a Latin square of order n which has no k‐plex for any odd but does have a k‐plex for every other . © 2008 Wiley Periodicals, Inc. J Combin Designs 16: 477–492, 2008     

含故障点的加强超立方体中路和圈的嵌入

本文研究了含故障点的n-维加强超立方体Q_n,k中的路和圈嵌入的问题.充分分析了加强超立方体网络的潜在特性,利用了构造的方法.得到了含2n-4个故障点的加强超立方体Q_n,k中含长为2ⁿ-2f的容错圈的结论,推广了折叠超立方体网络中1-点容错圈嵌入的结果.其中折叠超立方体网络为加强超立方体网络的一种特殊情况.     

Latin Squares with a Unique Intercalate

Suppose that and . We construct a Latin square of order n with the following properties:

• has no proper subsquares of order 3 or more .
• has exactly one intercalate (subsquare of order 2) .
• When the intercalate is replaced by the other possible subsquare on the same symbols, the resulting Latin square is in the same species as .

Hence generalizes the square that Sade famously found to complete Norton's enumeration of Latin squares of order 7. In particular, is what is known as a self‐switching Latin square and possesses a near‐autoparatopism.     

Sylow Theory for Quasigroups II: Sectional Action

The first paper in this series initiated a study of Sylow theory for quasigroups and Latin squares based on orbits of the left multiplication group. The current paper is based on so‐called pseudo‐orbits, which are formed by the images of a subset under the set of left translations. The two approaches agree for groups, but differ in the general case. Subsets are described as sectional if the pseudo‐orbit that they generate actually partitions the quasigroup. Sectional subsets are especially well behaved in the newly identified class of conflatable quasigroups, which provides a unified treatment of Moufang, Bol, and conjugacy closure properties. Relationships between sectional and Lagrangean properties of subquasigroups are established. Structural implications of sectional properties in loops are investigated, and divisors of the order of a finite quasigroup are classified according to the behavior of sectional subsets and pseudo‐orbits. An upper bound is given on the size of a pseudo‐orbit. Various interactions of the Sylow theory with design theory are discussed. In particular, it is shown how Sylow theory yields readily computable isomorphism invariants with the resolving power to distinguish each of the 80 Steiner triple systems of order 15.     

Large sets of resolvable idempotent Latin squares

An idempotent Latin square of order v is called resolvable and denoted by RILS(v) if the v(v−1) off-diagonal cells can be resolved into v−1 disjoint transversals. A large set of resolvable idempotent Latin squares of order v, briefly LRILS(v), is a collection of v−2 RILS(v)s pairwise agreeing on only the main diagonal. In this paper we display some recursive and direct constructions for LRILSs.